Clarifying Bibliographical Citation

Bibliographical Details

I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to count...

Bibliographical details

Building trustworthy (dependable) systems is a major challenge faced by software developers. To this end, various fault tolerance mechanisms have been developed by researchers and used in industry. Unfortunately, more often than not these solutions ignore earlier development phases most importantly, the architecture design to exclusively focus on the implementation instead. This creates a dange...

Mesotherapy: a bibliographical review.

Intradermotherapy is a medical procedure introduced by Pistor in 1958 that consists in the application of intradermal injections of diluted pharmacological substances that are given directly into the region to be treated. There are reports of the use of intradermotherapy to treat painful diseases, skin diseases and unaesthetic conditions. Medical clinics have been recently offering the treatmen...

Citation, citation, citation.

Clarifying Utterances

The paper argues for the importance of utterances (as opposed to \sen-tences in context") as basic units in dialogue. The main case study is clar-iication: a characterization is provided within KOS, a recently developed synthesis of situation semantics and dialogue games, of the clariications that can follow up on an utterance. This involves outlining: (a) a theory of understanding for dialogue...